Logic form

Results: 545



#Item
461Marxism / Social philosophy / Logicians / Dialectic / Science of Logic / Georg Wilhelm Friedrich Hegel / Value-form / Das Kapital / Logic / Philosophy / German idealism / Marxist theory

Christopher J. Arthur Towards a Systematic Dialectic of Capital The New Dialectic My research project is part of a new Marxian paradigm that has emerged in recent years,

Add to Reading List

Source URL: www.chrisarthur.net

Language: English - Date: 2013-11-26 15:34:58
462Philosophy of language / Philosophical logic / Meaning / Semantics / Philosophical Investigations / Ludwig Wittgenstein / Language / Form of life / Logical atomism / Analytic philosophy / Philosophy / Linguistics

THE PHILOSOPHICAL FORUM Volume XXX, No. 4, December 1999 MEANINGFUL CONSEQUENCES RUPERT READ AND JAMES GUETTI

Add to Reading List

Source URL: www.rupertread.fastmail.co.uk

Language: English - Date: 2006-07-08 02:47:28
463Philosophy of language / Analytic philosophers / Philosophical logic / Philosophical Investigations / New Wittgenstein / Hutto /  Texas / Peter Hacker / Form of life / Meaning / Philosophy / Analytic philosophy / Ludwig Wittgenstein

Philosophical Investigations 29:1 January 2006 ISSN[removed]DISCUSSION A No-Theory?: Against Hutto on Wittgenstein Rupert Read, UEA

Add to Reading List

Source URL: www.rupertread.fastmail.co.uk

Language: English - Date: 2006-07-08 02:46:04
464Scripting languages / Computer programming / Programming paradigms / Constraint programming / Common Gateway Interface / Prolog / CLP / Form / Batch file / Computing / Software engineering / World Wide Web

Computational Logic WWW Programming Using LP/CLP Systems 1 LP/CLP, the Internet, and the WWW

Add to Reading List

Source URL: www.clip.dia.fi.upm.es

Language: English - Date: 2006-11-22 18:19:49
465Logical syntax / Philosophy of language / Pragmatics / Presupposition / Entailment / Proposition / Interpretation / Static single assignment form / Logic / Semantics / Propositional calculus

A Solution to the Proviso Problem: Formal Alternatives, Relevance, and Accommodation 1. The Proviso Problem: Geurts[removed]observes that ‘satisfaction theories’ of presupposition (eg. Heim[removed]predict that when con

Add to Reading List

Source URL: www.salt17.uconn.edu

Language: English - Date: 2007-03-06 22:45:22
466Mathematics / Semantics / Model theory / Predicate logic / Skolem normal form / Branching quantifier / Discourse representation theory / FO / Function / Logic / Mathematical logic / Quantification

On the identification of quantifiers witness sets.dvi

Add to Reading List

Source URL: jakubszymanik.com

Language: English - Date: 2014-05-09 08:35:17
467Mathematics / Backward induction / Solution concept / Reason / Extensive-form game / Minimax / Inductive reasoning / Marble / Cognitive science / Game theory / Science / Knowledge

Using intrinsic complexity of turn-taking games to predict participants’ reaction times Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Ben Meijering (b

Add to Reading List

Source URL: jakubszymanik.com

Language: English - Date: 2013-07-19 07:51:46
468Futures exchange / Economy of the United States / Economics / Property derivatives / RPX Corporation / Chicago Board Options Exchange / Futures contract

January 26, 2012  RPX Housing Futures to Begin Trading on CBOE Futures Exchange     CBOE Futures Exchange, in cooperation with Radar Logic Inc., is introducing housing futures in the form of 

Add to Reading List

Source URL: www.radarlogic.com

Language: English - Date: 2013-03-08 15:47:32
469Logic / Philosophy of mathematics / Comment / Knowledge / Science / Information / Abstraction / Axiology

International Journal of Health Research Review Summary, Instructions to reviewers: In conducting your technical review, please consider the guidelines shown on page 2 of this form. You may complete this form and a

Add to Reading List

Source URL: www.ijhr.org

Language: English - Date: 2011-12-29 01:55:03
470Complexity classes / Finite model theory / Graph connectivity / Game theory / FO / Reachability / P / Extensive-form game / Tree / Theoretical computer science / Graph theory / Mathematics

Backward Induction is PTIME-complete Jakub Szymanik∗ Institute of Logic Language and Computation, University of Amsterdam [removed] Abstract. We prove that the computational problem of finding backward induc

Add to Reading List

Source URL: jakubszymanik.com

Language: English - Date: 2013-07-13 09:14:28
UPDATE